NeSIG: A Neuro-Symbolic Method for Learning to Generate Planning Problems

In the field of Automated Planning there is often the need for a set of planning problems from a particular domain, e.g., to be used as training data for Machine Learning or as benchmarks in planning competitions. In most cases, these problems are created either by hand or by a domain-specific generator, putting a burden on the human designers. In this paper we propose NeSIG, to the best of our knowledge the first domain-independent method for automatically generating planning problems that are valid, diverse and difficult to solve. We formulate problem generation as a Markov Decision Process and train two generative policies with Deep Reinforcement Learning to generate problems with the desired properties. We conduct experiments on several classical domains, comparing our method with handcrafted domain-specific generators that generate valid and diverse problems but do not optimize difficulty. The results show NeSIG is able to automatically generate valid problems of greater difficulty than the competitor approaches, while maintaining good diversity

A Review of Symbolic, Subsymbolic and Hybrid Methods for Sequential Decision Making

The field of Sequential Decision Making (SDM) provides tools for solving Sequential Decision Processes (SDPs), where an agent must make a series of decisions in order to complete a task or achieve a goal. Historically, two competing SDM paradigms have view for supremacy. Automated Planning (AP) proposes to solve SDPs by performing a reasoning process over a model of the world, often represented symbolically. Conversely, Reinforcement Learning (RL) proposes to learn the solution of the SDP from data, without a world model, and represent the learned knowledge subsymbolically. In the spirit of reconciliation, we provide a review of symbolic, subsymbolic and hybrid methods for SDM. We cover both methods for solving SDPs (e.g., AP, RL and techniques that learn to plan) and for learning aspects of their structure (e.g., world models, state invariants and landmarks). To the best of our knowledge, no other review in the field provides the same scope. As an additional contribution, we discuss what properties an ideal method for SDM should exhibit and argue that neurosymbolic AI is the current approach which most closely resembles this ideal method. Finally, we outline several proposals to advance the field of SDM via the integration of symbolic and subsymbolic AI

Diseño y construcción de un sistema eficiente de alimentación solar, mediante acumuladores de energía, para un vehículo eléctrico

La gran mayoría de los vehículos en uso actualmente utilizan energías no renovables como el petróleo. Por lo que se propone diseñar y construir, un sistema eficiente de alimentación solar, mediante acumuladores de energía para movilizar un vehículo eléctrico. El uso de sistemas de dispositivos de estado sólido en este diseño al no tener partes móviles, reducen totalmente el mantenimiento, ruido, emisiones tóxicas, contaminación ambiental y electromagnética, todas estas cualidades hacen atractivos a estos sistemas para aplicarlos en los vehículos eléctricos. La metodología utilizada para el presente trabajo es el analítico sintético, el cual permite hacer múltiples análisis a partir de la observación de la radiación solar, para luego pasar a la descripción e identificación de las partes que conforman un sistema solar fotovoltaico, posteriormente plasmar en su totalidad el vehículo eléctrico solar. Obteniéndose los resultados para cargar un banco de baterías por medio de dos sistemas de carga independientes, como es el sistema solar que requiere un día con una radiación de cuatro horas de sol pico estándar o cargando con un sistema de corriente alterna (C.A.) para que el vehículo se pueda movilizar satisfactoriamente durante dos horas

A Probabilistic Analysis Method for Fatigue Crack Growth in Metal Components: Application to the Damage Tolerance Assessment of Railway Axles

Con el rápido desarrollo de la industria ferroviaria, surgen cada vez más retos en la seguridad y la fiabilidad de componentes críticos, entre los cuales la fatiga es el problema principal. En servicio, el material rodante está sujeto a cargas cíclicas extremadamente complejas, que pueden dar lugar a una serie de problemas de fatiga. Estas dificultades amenazan seriamente la seguridad ferroviaria y pueden llegar a causar importantes pérdidas en términos de vidas y bienes. Aunque científicos e ingenieros de todo el mundo han realizado esfuerzos extraordinarios durante los últimos siglos, existen todavía muchos desafíos e incertidumbres, especialmente en el desarrollo de la próxima generación de medios de transporte.Esta tesis pretende abordar una serie de cuestiones relativas a la fatiga en ejes ferroviarios. Los temas incluyen, entre otros, la investigación analítica, teórica y computacional acerca de: (i) mecanismos de fallo, crecimiento de grieta por fatiga; (ii) modelización del proceso de fatiga; (iii) métodos de evaluación probabilista de aplicación en ejes ferroviarios; (iv) refuerzo de las metodologías de propagación de incertidumbre mediante aproximaciones de primer y segundo orden; (v) rendimiento y degradación por fatiga caracterizados mediante momentos estocásticos y distribuciones de probabilidad de vida; (vi) evaluación de la fatiga y el mantenimiento mediante inspecciones periódicas; y (vii) identificación y validación del comportamiento a fatiga mediante métodos con base probabilista para la determinación de intervalos de inspección y probabilidades de detección de grieta asociadas.Esta tesis parte de los primeros desarrollos en la evaluación de la seguridad de ejes ferroviarios y su evolución. Continúa con una extensión de los métodos habituales para el análisis probabilista de propósito general especialmente adecuados para el fenómeno de crecimiento de grieta por fatiga en componentes metálicos. A continuación, ofrece una extensión de los enfoques de tolerancia al daño con identificación y particular énfasis en la caracterización de sus aspectos probabilistas y sus efectos, lo que resulta en un procedimiento para la determinación de intervalos de inspección basado en una descripción probabilista de la vida a fatiga. Finalmente termina con una ilustración detallada de la metodología probabilista concebida para ser aplicada en la evaluación de tolerancia al daño de ejes ferroviarios. En su conjunto, esta tesis presenta nuevos tratamientos probabilistas y resultados útiles para la planificación del mantenimiento de ejes ferroviarios en el marco de tolerancia al daño.En resumen, esta tesis proporciona un método de análisis probabilista para el crecimiento de grieta por fatiga en componentes metálicos. Además, ofrece un procedimiento eficiente para la definición de intervalos de inspección en el mantenimiento de ejes ferroviarios, considerando escenarios estocásticos complejos dentro del enfoque de tolerancia al daño. Planteamientos de diseño y análisis de productos con especial consideración de los impactos ecológicos y económicos asociados a su fabricación y mantenimiento, se esfuerzan por conseguir productos que tengan el menor impacto ambiental a lo largo de su ciclo de vida. Se espera que el método proporcionado tenga un efecto positivo y global en la optimización de intervalos de mantenimiento, promoviendo así un uso eficiente del transporte ferroviario para mover personas y mercancías. En este sentido, también disminuiría el impacto medioambiental de la humanidad asociado con la contaminación atmosférica causada por el transporte, ya que ayuda a que el transporte ferroviario sea una alternativa más respetuosa con el medio ambiente. Como consideración final, se espera que el novedoso marco operativo en esta tesis sea un recurso para una amplia gama de problemas de ingeniería que tratan con variables aleatorias.<br /

Gender Violence and Eroticism. The cultural construction of rape in a comic of the seventies in Mexico

Este artículo reflexiona sobre el tema de la violación sexual a partir de un cómic publicado en los años setenta en la ciudad de México llamado Relatos del Jorobado, una historieta dirigida a un público adulto cuyo contenido estuvo basado en el melodrama, el erotismo y la violencia sexual contra las mujeres en escenarios rurales. Se trata de un análisis de sus narrativas y representaciones a partir de los denominados Rape Myths que han contribuido culturalmente a minimizar la gravedad del acto y justificar el comportamiento de los violadores. Se examina cómo esta publicación se encontraba cargada de elementos sexistas y machistas en el contexto de la revolución cultural caracterizada por las transformaciones en el orden de las costumbres, las mentalidades y de mayor apertura hacia los temas sobre la sexualidad, las imágenes del cuerpo y el semidesnudo que difundieron los medios masivos de comunicación

El teletrabajo como tendencia contemporánea: estructuras, procesos y sujetos

El contexto de la contemporaneidad del teletrabajo no lo es tanto por su nominación en los escenarios laborales, hoy denominados globales, sino por las grandes repercusiones y retos que tal condición implica en la vida humana y en las dinámicas espacio-temporales de identidad, tipos de sujetos teletrabajadores, marcos normativos y legales, y los aspectos relacionados con los avances de las tecnologías de la informática y las telecomunicaciones. El acercamiento del trabajo a los hogares pero el distanciamiento posible de los sujetos en él, los marcos de relaciones vinculares con la autoridad, pero a su vez, las nuevas acepciones de autorregulación, autogobierno y autocontrol, son entre otros ejemplos, los que de alguna manera se logran ubicar en la presente obra; seguramente algunos con un nivel menos tangencial que otros

Expresión diferencial de genes en Pyropia columbina (Bangiales, Rhodophyta) bajo hidratación y desecación natural

Indexación: Web of Science; Scielo.RESUMEN. En Zonas Costeras rocosas, la desecación es gatillada porción Cambios Diarios en los Niveles de marea, y la Evidencia indica experimental de Me Distribución de las algas en la zona intermareal no está Relacionada estafa do palabra capacidad, párr tolerar la desecación. En Este Contexto, la Presencia de Pyropia columbina en la zona alta del intermareal sí Explica Por Su excepcional tolerancia fisiológica a la desecación. Este Estudio explora las Vías Metabólicas involucradas en la tolerancia a la desecación en P. columbina, un Través de la Caracterización de do transcriptoma Bajo Condiciones de hidratación contrastantes. Se obtuvó 1410 TER provenientes de dos Librerías de substracción de ADNc de frondas Naturalmente hidratadas y desecadas. Los transcriptomas de emba Librerías contienen transcritos de Diversas Rutas Metabólicas Relacionadas a la tolerancia. Entre el los transcritos expresados ​​15% estan involucrados en la Síntesis de Proteínas, do Procesamiento y degradacion, 14,4% Asociados un Fotosíntesis y cloroplasto, el 13,1% una mitocondrial Respiración and function, 10,6% al metabolism de la Pared Celular y 7,5% a la Actividad ANTIOXIDANTE, Proteínas chaperonas y factors de Defensa (catalasa, tiorredoxina, Proteínas de choque térmico, P450 citocromo). In Ambás Librerías sí DESTACA La Presencia De genes / Proteínas no descritos en algas. Proporciona Información This El Primer Trabajo molecular Que Estudia la tolerancia a desecación en P. columbina y Sus Resultados Ayudan a explicar los patrones clásicos de Distribución descritos párr algas en la zona intermareal. Palabras clave: Pyropia, desecación porción Estrés, EST, macroalgas, transcriptómica, Proteínas.ABSTRACT. In rocky shores, desiccation is triggered by daily tide changes, and experimental evidence suggests that local distribution of algal species across the intertidal rocky zone is related to their capacity to tolerate desiccation. In this context, the permanence of Pyropia columbina in the high intertidal rocky zone is explained by its exceptional physiological tolerance to desiccation. This study explored the metabolic pathways involved in tolerance to desiccation in the Chilean P. columbina, by characterizing its transcriptome under contrasting conditions of hydration. We obtained 1,410 ESTs from two subtracted cDNA libraries in naturally hydrated and desiccated fronds. Results indicate that transcriptome from both libraries contain transcripts from diverse metabolic pathways related to tolerance. Among the transcripts differentially expressed, 15% appears involved in protein synthesis, processing and degradation, 14.4% are related to photosynthesis and chloroplast, 13.1% to respiration and mitochondrial function (NADH dehydrogenase and cytochrome c oxidase proteins), 10.6% to cell wall metabolism, and 7.5% are involved in antioxidant activity, chaperone and defense factors (catalase, thioredoxin, heat shock proteins, cytochrome P450). Both libraries highlight the presence of genes/proteins never described before in algae. This information provides the first molecular work regarding desiccation tolerance in P. columbina, and helps, to some extent, explaining the classical patterns of ecological distribution described for algae across the intertidal zone.http://ref.scielo.org/jm5rc

Real-time chess piece recognition software

Trabajo Fin de Grado en Ingeniería Informática, Facultad de Informética UCM, Departamento de Arquitectura de Computadores y Automática, Curso 2021/2022.El reconocimiento de las piezas de ajedrez en un tablero físico es un problema de visión que aún no se ha resuelto de manera eficiente. Se han logrado algunos avances a lo largo de los años, pero aún carecen de la precisión o el rendimiento suficientes para usarse a nivel práctico para digitalizar juegos en vivo. Este proceso de digitalización actualmente se realiza a nivel profesional con la ayuda de tableros de ajedrez y piezas especializadas que no están al alcance de la mayoría de los aficionados al ajedrez debido a su costo. Hay un interés renovado en encontrar nuevos algoritmos para este problema, gracias al éxito de las redes neuronales convolucionales. Sin embargo, aún existen varias dificultades para su adopción práctica, especialmente en implementaciones que intentan satisfacer las restricciones de tiempo real de los juegos en vivo con recursos de hardware de presupuesto limitado. En nuestro TFG, hemos tratado de superar algunas de estas limitaciones portando a una aplicación de Android algunos de los algoritmos más prometedores propuestos en este campo. Además, también hemos intentado mejorar el entrenamiento de las redes neuronales diseñando e implementando un dispositivo de bajo coste que simplifica la generación del dataset de entrenamiento.There cognition of chess pieces within a physical board is a vision problem that has not yet been solved efficiently. Some progress has been made over the years, but they still lack enough precision and or performance to be used at a practical level to digitize live games. This digitization process is currently performed at a professional level with the help of chess boards and specialized pieces that are not available to most chess enthusiasts due to their cost. There is a renewed interest in finding new algorithms for this problem, thanks to the success of convolutional neural networks. However, there are still several difficulties for its practical adoption, especially in implementations that try to satisfy the real-time constraints of live games with budget-limited hardware resources. In our TFG, we have tried to overcome some of these limitations by porting to an android app some of the most promising algorithms proposed in this field. In addition, we have also tried to improve the training of the neuronal networks by designing and implementing a low-cost device that simplifies the generation of the training dataset.Depto. de Arquitectura de Computadores y AutomáticaFac. de InformáticaTRUEunpu

Analysis of Functional Connectivity during an Auditory Oddball Task in Schizophrenia

Producción CientíficaThe aim of this study was to evaluate neural coupling patterns in schizophrenia (SCH) patients and healthy controls during an auditory oddball task. Two measures of functional connectivity were applied to 28 SCH patients and 51 healthy controls to characterize electroencephalographic (EEG) activity. Specifically, magnitude squared coherence (MSC) and the imaginary part of coherency (ICOH) were computed for five frequency bands: theta, alpha, beta-1, beta-2 and gamma. The results showed a statistically significant modulation increase in MSC and ICOH for controls with respect to SCH in the theta band, and a decrease in ICOH for the beta-2 band. Furthermore, controls showed more significant changes from the baseline and active task windows than SCH patients. Our findings suggest that SCH patients show coupling abnormalities during an auditory oddball task compared to healthy controls.Ministerio de Economía y Competitividad (TEC2014-53196-R)Junta de Castilla y León (VA059U13